# -*- mode: snippet -*-
# name: Obligation
# key: obl
# uuid: obl
# --
Obligation $1.
$2
Qed.
